$\forall$$R$:Realizer. R{-}Feasible($R$) $\Rightarrow$ ($\exists$${\it es}$:ES. Consistent($R$;${\it es}$))